对象 (范畴论) 编辑
范畴论是数学的一门学科，以抽象的方法处理数学概念，将这些概念形式化成一组组的“物件”及“态射”。数学中许多重要的领域可以形式化为范畴。使用范畴论可以令这些领域中许多难理解、难捉摸的数学结论更容易叙述证明。
7
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
在数学特别是序理论中，完全海廷代数是作为完全格的海廷代数。完全海廷代数是三个不同范畴论的对象，它们是范畴CHey，locales的范畴Loc，它的对偶frames的范畴Frm。
在数学中，李群胚是满足如下条件的群胚：对象集合



O
b


{\displaystyle Ob}

与态射集合



M
o
r


{\displaystyle Mor}

都是流形，源与靶运算
在数学中，李代数胚在李群胚理论中的角色恰如李代数在李群理论中的角色：将整体问题减化为无穷小情形。就像李群胚可以视为“具有许多对象的李群”，李代数胚可视为“具有许多对象的李代数”。
在数学特别是序理论中，完全海廷代数是作为完全格的海廷代数。完全海廷代数是三个不同范畴论的对象，它们是范畴CHey，locales的范畴Loc，它的对偶frames的范畴Frm。